Reconciling the event calculus with the situation calculus
نویسندگان
چکیده
منابع مشابه
Reconciling the Event Calculus With the Situation Calculus
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...
متن کاملReconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that would allow to formally analyze the relationship between the two approaches as well as between the programming languages based on them, Golog and FLUX. Furthermore, such a formal relation would allow to combine Golog and...
متن کاملCombining Situation Calculus and Event Calculus
In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these diierences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and co...
متن کاملReconciling Autonomy with Narratives in the Event Calculus
Developing believable and realistic characters for interactive, computer-based forms of entertainment is a hard work. To make them perform specific tasks or take initiatives given a narrative is even more challenging. In this paper we introduce a novel agent design approach that reconciles autonomy with instructability and narrative in one agent architecture. The approach is based on a highly d...
متن کاملSituation Calculus Speciications for Event Calculus Logic Programs
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the eeects of actions. Two translations of Situation Calculus style theories into Event Calculus style logic programs a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1997
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(96)00137-9